Local-variable type inference

welcome to shbcf.ru